home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Environments / SmallEiffel 0.3.3 / SmallEiffel PPC / diff / lib_std.old.old < prev    next >
Encoding:
Text File  |  1996-06-13  |  4.0 KB  |  173 lines  |  [TEXT/EDIT]
  1. diff -r lib_std/array.e /users/prof/colnet/SmallEiffel/lib_std/array.e
  2. 11,12c11
  3. < creation {ANY}
  4. <    make
  5. ---
  6. > creation make
  7. 179a179
  8. >      lower = old lower
  9. 184a185,186
  10. >       local
  11. >      i: INTEGER;
  12. 185a188,195
  13. >      from
  14. >         i := lower;
  15. >      until
  16. >         i = upper
  17. >      loop
  18. >         put(item(i+1),i);
  19. >         i := i + 1;
  20. >      end;
  21. 188a199
  22. >      upper = old upper;
  23. diff -r lib_std/array.e /users/prof/colnet/SmallEiffel/lib_std/array.elib_std/double.e /users/prof/colnet/SmallEiffel/lib_std/double.e
  24. 153d152
  25. <      str.extend('.');
  26. 155,164c154,166
  27. <      from
  28. <      invariant
  29. <         d < 1;
  30. <      until
  31. <         d = 0.0
  32. <      loop
  33. <         d := d * 10.0;
  34. <         i := d.floor;
  35. <         d := d - i;
  36. <         str.extend(i.digit);
  37. ---
  38. >      if d /= 0.0 then
  39. >         from
  40. >            str.extend('.');
  41. >         invariant
  42. >            d < 1;
  43. >         until
  44. >            d = 0.0
  45. >         loop
  46. >            d := d * 10.0;
  47. >            i := d.floor;
  48. >            d := d - i;
  49. >            str.extend(i.digit);
  50. >         end;
  51. diff -r lib_std/double.e /users/prof/colnet/SmallEiffel/lib_std/double.elib_std/fixed_array.e /users/prof/colnet/SmallEiffel/lib_std/fixed_array.e
  52. 6,7c6,8
  53. <    -- The `lower' bound is frozen. Thus, FIXED_ARRAY should
  54. <    -- run a little bit faster than ARRAY.
  55. ---
  56. >    -- Unlike ARRAY, the `lower' bound of a FIXED_ARRAY is
  57. >    -- frozen (to 0). Thus, when looping toward 0, code may 
  58. >    -- run (just) a little bit faster than ARRAY.
  59. 8a10,12
  60. >    -- Note: a FIXED_ARRAY as only two attributes it save 
  61. >    --       a little bit memory too :-)
  62. >    --
  63. 10c14,17
  64. < inherit COLLECTION[E];
  65. ---
  66. > inherit
  67. >    COLLECTION[E]
  68. >       redefine is_equal, fast_nb_occurrences, all_cleared
  69. >       end;
  70. 89a97,157
  71. > feature -- Looking and comparison :
  72. > 
  73. >    is_equal(other: like Current): BOOLEAN is
  74. >      -- Use `equal' to compare elements. 
  75. >       local
  76. >      i: INTEGER;
  77. >      e1, e2: E;
  78. >       do
  79. >      if Current = other then
  80. >         Result := true;
  81. >      elseif upper = other.upper then
  82. >         from
  83. >            Result := true;
  84. >            i := upper;
  85. >         until
  86. >            i < 0 or not Result
  87. >         loop
  88. >            Result := equal_like(item(i),other.item(i));
  89. >            i := i - 1;
  90. >         end;        
  91. >      end;
  92. >       end;
  93. > 
  94. >    all_cleared: BOOLEAN is
  95. >      -- Are all items set to default values?
  96. >       local
  97. >      value: E;
  98. >      i: INTEGER;
  99. >       do
  100. >      from  
  101. >         Result := true;
  102. >         i := upper;
  103. >      until
  104. >         i < lower
  105. >      loop
  106. >         Result := value = item(i);
  107. >         if Result then
  108. >            i := i - 1;
  109. >         else
  110. >            i := -1;
  111. >         end;
  112. >      end;
  113. >       end;
  114. > 
  115. >    fast_nb_occurrences(elt: E): INTEGER is
  116. >      -- Number of occurrences using `='.
  117. >       local
  118. >      i: INTEGER;
  119. >       do
  120. >      from  
  121. >         i := upper;
  122. >      until
  123. >         i < 0
  124. >      loop
  125. >         if elt = item(i) then
  126. >            Result := Result + 1;
  127. >         end;
  128. >         i := i - 1;
  129. >      end;
  130. >       end;
  131. >       
  132. diff -r lib_std/fixed_array.e /users/prof/colnet/SmallEiffel/lib_std/fixed_array.elib_std/general.e /users/prof/colnet/SmallEiffel/lib_std/general.e
  133. 68,69c68
  134. <      if is_expanded_type then
  135. <      else
  136. ---
  137. >      if not is_expanded_type then
  138. 77,91d75
  139. <    frozen new_same_type(other: GENERAL): BOOLEAN is
  140. <      -- Is type of current object identical to type of other.     
  141. <       require
  142. <      other_not_void: other /= Void;
  143. <       do
  144. <      if is_expanded_type then
  145. <         -- *** Could write not is_expanded !!
  146. <      else
  147. <         c_inline_c("R=(C->id)==(a1->id);");
  148. <      end;
  149. <       ensure
  150. <      definition: Result = (conforms_to(other) and
  151. <                    other.conforms_to(Current));
  152. <       end;
  153. <    
  154. 185c169
  155. <         c_inline_c("R=(T0 *)new(a1->id);");
  156. ---
  157. >         c_inline_c("R=(T0 *)se_new(a1->id);");
  158. 225c209
  159. <         c_inline_c("R=(T0 *)new(a1->id);%N%
  160. ---
  161. >         c_inline_c("R=(T0 *)se_new(a1->id);%N%
  162. 374c358
  163. <      %fclose(f);}");
  164. ---
  165. >      %if (R) fclose(f);}");
  166. diff -r lib_std/general.e /users/prof/colnet/SmallEiffel/lib_std/general.elib_std/std_file.e /users/prof/colnet/SmallEiffel/lib_std/std_file.e
  167. 39d38
  168. <      path /= Void;
  169. 69c68
  170. <    fclose (stream_pointer : POINTER): INTEGER is
  171. ---
  172. >    fclose(stream_pointer : POINTER): INTEGER is
  173.